jmlparser-parent
Toggle table of contents
3.28.2-J8.0-K13.5-SNAPSHOT
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
jmlparser-parent
prettyprinting
/
[root]
/
JmlCommentsHelper
Jml
Comments
Helper
class
JmlCommentsHelper
(
lineSeparator
:
String
,
options
:
JavaFormatterOptions
)
:
CommentsHelper
(
source
)
Members
Constructors
Jml
Comments
Helper
Link copied to clipboard
constructor
(
lineSeparator
:
String
,
options
:
JavaFormatterOptions
)
Properties
LINE_
COMMENT_
MISSING_
SPACE_
PREFIX
Link copied to clipboard
val
LINE_COMMENT_MISSING_SPACE_PREFIX
:
Pattern
Functions
rewrite
Link copied to clipboard
open
override
fun
rewrite
(
tok
:
Input.Tok
,
maxWidth
:
Int
,
column0
:
Int
)
:
String